منابع مشابه
The Formal Semantics of ISO VDM-SL∗
This paper provides an overview of the formal semantics of VDM-SL which currently is being standardised by ISO. This is a specification language used in the formal method known as the Vienna Development Method (or simply VDM). In this paper we will focus on the foundations and the semantics of a rather unique combination of looseness and recursion.
متن کاملReal time formal specification using VDM++
VDM++ is a formal Object Oriented Specification language, derived from VDM. lt extends VDM by providing object-orientation, real-time as well as paraUel features. The use of the language is supported by design guidelines and a too! set. The latter offers graphical representations, syntactic and semantic checking, pretty printing and code generation. ln this paper we address the handling of part...
متن کاملTowards a Formal Semantics of the BS/VDM Specification Language
This paper gives a technical/scientiic survey of the mathematical semantics of the BSI/VDM Speciication Language, currently being standardised by the British Standards Institution. Following a background introduction , the notion of loose (nondeterministic and underdetermined) speciications and the implications for the underlying type (domain) universe is discussed. This is followed by technica...
متن کاملVDM meets LCF: Domain-Theoretic and Topological Aspects of VDM
We discuss the domain-theoretic and topological content of the operator calculus used in the Irish School of the Vienna Development Method (VDM♣) of formal systems development. Thus, we examine the Scott continuity, or otherwise, of the basic operators used in this calculus when viewed as operators on the domain (X → Y ) of partial functions mapping X into Y . It turns out that the override, on...
متن کاملFormal Semantics of a VDM Extension for Distributed Embedded Systems
To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timing primitives. In addition, we have defined an interface for the co-simulation of a VDM++ model with a continuous-time model of its environment. This enables multi-disciplinary design space exploration and continuous validation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1988
ISSN: 0167-6423
DOI: 10.1016/0167-6423(88)90055-x